Telematic Support in Improving Safety of Maritime Transport

Security mechanisms of a telematics system are exceedingly intersecting as they could pretend the ordinary influence of the vehicle and perhaps terminate in accidents. This paper includes a new look at automotive and telematics transportation systems, also refers to methods in modelling, facility location, data processing and assessment of risk in telematics networks

The Importance of Telematics in the Transport System

Security mechanisms of a telematics system are exceedingly intersecting as they could pretend the ordinary influence of the vehicle and perhaps terminate in accidents. This paper includes a new look at automotive and telematics transportation systems, also refers to methods in modelling, facility location, data processing and assessment of risk in telematics networks

The classical-quantum boundary for correlations: discord and related measures

One of the best signatures of nonclassicality in a quantum system is the existence of correlations that have no classical counterpart. Different methods for quantifying the quantum and classical parts of correlations are amongst the more actively-studied topics of quantum information theory over the past decade. Entanglement is the most prominent of these correlations, but in many cases unentangled states exhibit nonclassical behavior too. Thus distinguishing quantum correlations other than entanglement provides a better division between the quantum and classical worlds, especially when considering mixed states. Here we review different notions of classical and quantum correlations quantified by quantum discord and other related measures. In the first half, we review the mathematical properties of the measures of quantum correlations, relate them to each other, and discuss the classical-quantum division that is common among them. In the second half, we show that the measures identify and quantify the deviation from classicality in various quantum-information-processing tasks, quantum thermodynamics, open-system dynamics, and many-body physics. We show that in many cases quantum correlations indicate an advantage of quantum methods over classical ones.Comment: Close to the published versio

Head and neck paragangliomas: clinical and molecular genetic classification

Head and neck paragangliomas are tumors arising from specialized neural crest cells. Prominent locations are the carotid body along with the vagal, jugular, and tympanic glomus. Head and neck paragangliomas are slowly growing tumors, with some carotid body tumors being reported to exist for many years as a painless lateral mass on the neck. Symptoms depend on the specific locations. In contrast to paraganglial tumors of the adrenals, abdomen and thorax, head and neck paragangliomas seldom release catecholamines and are hence rarely vasoactive. Petrous bone, jugular, and tympanic head and neck paragangliomas may cause hearing loss. The internationally accepted clinical classifications for carotid body tumors are based on the Shamblin Class I–III stages, which correspond to postoperative permanent side effects. For petrous-bone paragangliomas in the head and neck, the Fisch classification is used. Regarding the molecular genetics, head and neck paragangliomas have been associated with nine susceptibility genes: NF1, RET, VHL, SDHA, SDHB, SDHC, SDHD, SDHAF2 (SDH5), and TMEM127. Hereditary HNPs are mostly caused by mutations of the SDHD gene, but SDHB and SDHC mutations are not uncommon in such patients. Head and neck paragangliomas are rarely associated with mutations of VHL, RET, or NF1. The research on SDHA, SDHAF2 and TMEM127 is ongoing. Multiple head and neck paragangliomas are common in patients with SDHD mutations, while malignant head and neck paraganglioma is mostly seen in patients with SDHB mutations. The treatment of choice is surgical resection. Good postoperative results can be expected in carotid body tumors of Shamblin Class I and II, whereas operations on other carotid body tumors and other head and neck paragangliomas frequently result in deficits of the cranial nerves adjacent to the tumors. Slow growth and the tendency of hereditary head and neck paragangliomas to be multifocal may justify less aggressive treatment strategies

Cornucopia: Temporal safety for CHERI heaps

Use-after-free violations of temporal memory safety continue to plague software systems, underpinning many high-impact exploits. The CHERI capability system shows great promise in achieving C and C++ language spatial memory safety, preventing out-of-bounds accesses. Enforcing language-level temporal safety on CHERI requires capability revocation, traditionally achieved either via table lookups (avoided for performance in the CHERI design) or by identifying capabilities in memory to revoke them (similar to a garbage-collector sweep). CHERIvoke, a prior feasibility study, suggested that CHERI’s tagged capabilities could make this latter strategy viable, but modeled only architectural limits and did not consider the full implementation or evaluation of the approach. Cornucopia is a lightweight capability revocation system for CHERI that implements non-probabilistic C/C++ temporal memory safety for standard heap allocations. It extends the CheriBSD virtual-memory subsystem to track capability flow through memory and provides a concurrent kernel-resident revocation service that is amenable to multi-processor and hardware acceleration. We demonstrate an average overhead of less than 2% and a worst-case of 8.9% for concurrent revocation on compatible SPEC CPU2006 benchmarks on a multi-core CHERI CPU on FPGA, and we validate Cornucopia against the Juliet test suite’s corpus of temporally unsafe programs. We test its compatibility with a large corpus of C programs by using a revoking allocator as the system allocator while booting multi-user CheriBSD. Cornucopia is a viable strategy for always-on temporal heap memory safety, suitable for production environments.This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (“CTSRD”) and HR0011-18-C-0016 (“ECATS”). We also acknowledge the EPSRC REMS Programme Grant (EP/K008528/1), the ABP Grant (EP/P020011/1), the ERC ELVER Advanced Grant (789108), the Gates Cambridge Trust, Arm Limited, HP Enterprise, and Google, Inc

Health-related qualify of life, angina type and coronary artery disease in patients with stable chest pain.

Health-related quality of life (HRQoL) is impaired in patients with stable angina but patients often present with other forms of chest pain. The aim of this study was to compare the pre-diagnostic HRQoL in patients with suspected coronary artery disease (CAD) according to angina type, gender, and presence of obstructive CAD. From the pilot study for the European DISCHARGE trial, we analysed data from 24 sites including 1263 patients (45.9% women, 61.1 ± 11.3 years) who were clinically referred for invasive coronary angiography (ICA; 617 patients) or coronary computed tomography angiography (CTA; 646 patients). Prior to the procedures, patients completed HRQoL questionnaires: the Short Form (SF)-12v2, the EuroQoL (EQ-5D-3 L) and the Hospital Anxiety and Depression Scale. Fifty-five percent of ICA and 35% of CTA patients had typical angina, 23 and 33% had atypical angina, 18 and 28% had non-anginal chest discomfort and 5 and 5% had other chest discomfort, respectively. Patients with typical angina had the poorest physical functioning compared to the other angina groups (SF-12 physical component score; 41.2 ± 8.8, 43.3 ± 9.1, 46.2 ± 9.0, 46.4 ± 11.4, respectively, all age and gender-adjusted p < 0.01), and highest anxiety levels (8.3 ± 4.1, 7.5 ± 4.1, 6.5 ± 4.0, 4.7 ± 4.5, respectively, all adjusted p < 0.01). On all other measures, patients with typical or atypical angina had lower HRQoL compared to the two other groups (all adjusted p < 0.05). HRQoL did not differ between patients with and without obstructive CAD while women had worse HRQoL compared with men, irrespective of age and angina type. Prior to a diagnostic procedure for stable chest pain, HRQoL is associated with chest pain characteristics, but not with obstructive CAD, and is significantly lower in women. Clinicaltrials.gov, NCT02400229

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Document recommendation systems for locating relevant literature have mostly relied on methods developed a decade ago. This is largely due to the lack of a large offline gold-standard benchmark of relevant documents that cover a variety of research fields such that newly developed literature search techniques can be compared, improved and translated into practice. To overcome this bottleneck, we have established the RElevant LIterature SearcH consortium consisting of more than 1500 scientists from 84 countries, who have collectively annotated the relevance of over 180 000 PubMed-listed articles with regard to their respective seed (input) article/s. The majority of annotations were contributed by highly experienced, original authors of the seed articles. The collected data cover 76% of all unique PubMed Medical Subject Headings descriptors. No systematic biases were observed across different experience levels, research fields or time spent on annotations. More importantly, annotations of the same document pairs contributed by different scientists were highly concordant. We further show that the three representative baseline methods used to generate recommended articles for evaluation (Okapi Best Matching 25, Term Frequency-Inverse Document Frequency and PubMed Related Articles) had similar overall performances. Additionally, we found that these methods each tend to produce distinct collections of recommended articles, suggesting that a hybrid method may be required to completely capture all relevant articles. The established database server located at https://relishdb.ict.griffith.edu.au is freely available for the downloading of annotation data and the blind testing of new methods. We expect that this benchmark will be useful for stimulating the development of new powerful techniques for title and title/abstract-based search engines for relevant articles in biomedical research.Peer reviewe